failure 126:
Requirement failed: {lrintl.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-07-25_08-37-08/math_real_scenario.utz (math_real_scenario.utt), line 11680 |
| occurence |
| scenario |
math_real_scenario |
| specification function |
lrint_spec() |
| parameter value |
CallContext context = [pid=22148,thr=b74f9700] |
| parameter value |
Unifloat * @x = (long double) -1.1897314953572317650212638530309702e+4932 (-0x.FFFFFFFFFFFFFFFFP16384L) |
| parameter value |
Unifloat * x = (long double) -1.1897314953572317650212638530309702e+4932 (-0x.FFFFFFFFFFFFFFFFP16384L) |
| parameter value |
ErrorCode * @errno = EOK |
| parameter value |
ErrorCode * errno = EOK |
| return value |
(LongT) -2147483648 |
coverage
& branch |
C
x is finite non-zero value |
| properties |
| REQ failed |
lrintl.10.01.01 |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
The lrint() family of functions shall round their argument to the nearest integer value,
rounding according to the current rounding direction.
According to LSB, if argument is NaN, +Inf, -Inf, or the correct value is not representable as an
integer then the functions shall set EDOM error code.
But on the target machine, the functions set error code EOK instead of EDOM in these cases.
|
|